: （q→s）一定为假若已知命题形式“（（p→q）←（r∧s））”为假，则可知（）。